University of Utah - PDFSEARCH.IO - Document Search Engine

University of Utah
Results: 3552

#	Item
711	Ranking Large Temporal Data Jeffrey Jestes, Jeff M. Phillips, Feifei Li, Mingwang Tang School of Computing, University of Utah, Salt Lake City, USA {jestes, jeffp, lifeifei, tang}@cs.utah.edu 1. INTRODUCTION Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-05-18 16:29:05 Deltahedra Octahedron J Software engineering Computer programming Computing
712	ARMor: Fully Verified Software Fault Isolation Lu Zhao Guodong Li University of Utah, USA Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 15:01:58
713	Eliminating Stack Overflow by Abstract Interpretation JOHN REGEHR, ALASTAIR REID, and KIRK WEBB University of Utah An important correctness criterion for software running on embedded microcontrollers is stack Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-11-11 18:13:27 X86 instructions Embedded systems Interrupt handler Stack Microcontroller Interrupt flag Call stack Real-time operating system Interrupt Computer architecture Interrupts Computing
714	Published by Utah State University Extension and Utah Plant Pest Diagnostic Laboratory IPMJanuary 2012 Important Pests of Ornamental Aspen Add to Reading List Source URL: extension.usu.edu Language: English - Date: 2012-02-03 17:03:05 Flora of the United States Populus Aspen Populus sect. Populus Populus tremuloides Gall Rust Tree Powdery mildew Botany Medicinal plants Biology
715	Task/Scheduler Logic: Reasoning about Concurrency in Component-Based Systems Software Alastair Reid John Regehr School of Computing, University of Utah Salt Lake City, UT 84112–9205, USA {reid, regehr}@flux.utah.edu Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2002-10-17 23:09:53
716	A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:40:24 Data types Computer arithmetic Primitive types Type theory Software bugs Integer overflow C Type system Bitwise operation Computing Software engineering Computer programming
717	Places: Adding Message-Passing Parallelism to Racket Kevin Tew University of Utah James Swaine Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2011-08-28 15:28:28 Parallel computing Functional languages Procedural programming languages Concurrent computing Application programming interfaces OpenMP Racket Garbage collection Immutable object Computing Computer programming Software engineering
718	UCOWR Delegates Last Name First Name Institution Add to Reading List Source URL: ucowr.org Language: English - Date: 2014-12-01 15:50:58 Rural community development Agricultural economics Food industry Cooperative extension service Biological systems engineering College of Engineering University of Puerto Rico at Mayagüez Utah Water Research Laboratory Utah State University Logan Utah Utah Agriculture in the United States
719	Validation of the IdahoTechnology Inc. FilmArray Respiratory Panel for Clinical Use at Primary Children’s Medical Center, Salt Lake City, UT ® An enterprise of the University of Utah and its Department of Pathology Add to Reading List Source URL: www.biofiredefense.com Language: English - Date: 2014-01-15 13:23:56 Laboratory techniques Molecular biology Polymerase chain reaction Mononegavirales Multiplex Influenza Detection limit Sensitivity and specificity Flu pandemic Science Biology Chemistry
720	Protocols for Learning Classifiers on Distributed Data Hal Daum´e III Dept. of Computer Sc. University of Maryland Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-02-28 20:27:46

UPDATE